منابع مشابه
SAT Has No Wizards
An (encoded) decision problem over Σ is a pair (E,F ) where E=words that encode instances of the problem, F=words to be accepted. We use strings in a technical sense, borrowed from Computability. With any NP problem (E,F ) we associate a set of strings |LogE(F )| called the reduced logogram of F relative to E, which conveys structural information on E, F , and how F is embedded in E. We define ...
متن کاملBopA has no
28 The ability of bifidobacteria to adhere to the intestine of human host is considered to be 29 important for efficient colonization and achieving probiotic effects. Bifidobacterium 30 bifidum strains DSM20456 and MIMBb75 adhere well to human intestinal cell lines, 31 Caco-2 and HT-29. Surface lipoprotein BopA has previously been described to be 32 involved in mediating adherence of B. bifidum...
متن کاملEctoplasm Has No Topology
In a new approach to the theory of integration over Wess-Zumino su-permanifolds, we suggest that a fundamental principle is their consistency with an " Ethereal Conjecture " that asserts the topology of the superman-ifold must be generated essentially from its bosonic submanifold. This naturally leads to a theory of " ectoplasmic " integration based on super p-forms. One consequence of this app...
متن کاملSituations, Si! Situation Terms, No!
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that captures much of the expressive power of the original, but where certain technical results are much more easily proven. This is illustrated using two existing non-trivial results: the regression theorem and the determinac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Matlit Revista do Programa de Doutoramento em Materialidades da Literatura
سال: 2017
ISSN: 2182-8830
DOI: 10.14195/2182-8830_5-1_20